Roger C. Herdman's Documents

Roger C. Herdman's Documents

Isabelle-HOL - A Proof Assistant for Higher-Order Logic

Isabelle-HOL - A Proof Assistant for Higher-Order Logic
Read more
Royal Portraits in Hollywood: Filming the Lives of Queens

Royal Portraits in Hollywood: Filming the Lives of Queens
Read more
No title

No title
Read more
The Lion and the Mouse

The Lion and the Mouse
Read more
Terrain Analysis: Principles and Applications

Terrain Analysis: Principles and Applications
Read more
Developing Professional Java Applets

Developing Professional Java Applets
Read more
Las Lesiones Deportivas Sport´s Injuries (Spanish Edition)

Las Lesiones Deportivas Sport´s Injuries (Spanish Edition)
Read more
Plant Embryo Culture: Methods and Protocols

Plant Embryo Culture: Methods and Protocols
Read more
Indices and Identity (Linguistic Inquiry Monographs)

Indices and Identity (Linguistic Inquiry Monographs)
Read more
Energy Basis for Man and Nature

Energy Basis for Man and Nature
Read more
Illustrated Orthopedic Physical Assessment

Illustrated Orthopedic Physical Assessment
Read more
China's Growing Role in World Trade (National Bureau of Economic Research Conference Report)

China's Growing Role in World Trade (National Bureau of Economic Research Conference Report)
Read more
Automated Essay Scoring: A Cross-disciplinary Perspective

Automated Essay Scoring: A Cross-disciplinary Perspective
Read more
SBD Dauntless in Action

SBD Dauntless in Action
Read more
Histopathology specimens: clinical, pathological and laboratory aspects

Histopathology specimens: clinical, pathological and laboratory aspects
Read more
Diplomacy and World Power: Studies in British Foreign Policy, 1890-1951

Diplomacy and World Power: Studies in British Foreign Policy, 1890-1951
Read more
Historical Dictionary of the 1940s

Historical Dictionary of the 1940s
Read more
Duke Radiology Case Review: Imaging, Differential Diagnosis, and Discussion

Duke Radiology Case Review: Imaging, Differential Diagnosis, and Discussion
Read more
Finite Element Method: Volume 3, Fifth Edition

Finite Element Method: Volume 3, Fifth Edition
Read more
Encyclopedia of Geology, Five Volume Set, Volume 1-5 (Encyclopedia of Geology Series)

Encyclopedia of Geology, Five Volume Set, Volume 1-5 (Encyclopedia of Geology Series)
Read more
No title

No title
Read more
Elwyn Simons: A Search for Origins (Developments in Primatology: Progress and Prospects)

Elwyn Simons: A Search for Origins (Developments in Primatology: Progress and Prospects)
Read more
Boundary Integral Equations

Boundary Integral Equations
Read more
Valuation for M&A

Valuation for M&A
Read more
An Introduction to the Philosophy of Religion (Cambridge Introductions to Philosophy)

An Introduction to the Philosophy of Religion (Cambridge Introductions to Philosophy)
Read more
Renin Angiotensin System and Cardiovascular Disease (Contemporary Cardiology)

Renin Angiotensin System and Cardiovascular Disease (Contemporary Cardiology)
Read more
Wastewater Pathogens

Wastewater Pathogens
Read more
Salivary Gland Cytopathology (Essentials in Cytopathology)

Salivary Gland Cytopathology (Essentials in Cytopathology)
Read more
The Finite Element Method for Solid and Structural Mechanics Sixth Edition

The Finite Element Method for Solid and Structural Mechanics Sixth Edition
Read more
The Cycle of Deviant Behavior: Investigating Intergenerational Parallelism (Longitudinal Research in the Social and Behavioral Sciences: An Interdisciplinary Series)

The Cycle of Deviant Behavior: Investigating Intergenerational Parallelism (Longitudinal Research in the Social and Behavioral Sciences: An Interdisciplinary Series)
Read more